1. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
2. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده: Robinson, Abraham
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
3. Introduction to model theory and to the metamathematics of algebra
پدیدآورنده: Robinson, Abraham
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
